1381. Stabilization, safety, and security of distributed systems
پدیدآورنده: Rachid Guerraoui ; Franck Petit (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2009
1382. Stabilization, safety, and security of distributed systems :
پدیدآورنده: Taisuke Izumi, Petr Kuznetsov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
رده :
QA76
.
9
.
S54
1383. Stabilization, safety, and security of distributed systems :
پدیدآورنده: Xavier Défago, Franck Petit, Vincent Villainches
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2011
1384. Stabilization, safety, and security of distributed systems
پدیدآورنده: Andréa W. Richa, Christian Scheideler (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Reliability, Congresses,Computer networks-- Security measures, Congresses,Electronic data processing-- Distributed processing, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2012eb
1385. Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
پدیدآورنده: Borzoo Bonakdarpour, Franck Petit )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Self-stabilization )Computer science(,Safety measures -- Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
10083
1386. Statistical Atlases and Computational Models of the Heart
پدیدآورنده: \ Oscar Camara, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Heart -- Imaging -- Congresses,Imaging systems in medicine -- Congresses,Three-dimensional imaging in medicine -- Congresses,قلب -- تصویرنگاری -- کنگره ها,سیستم‌های تصویرگیری در پزشکی-- کنگره‌ها,تصویرنگاری سه بعدی در پزشکی -- کنگره ها
رده :
RC
683
.
5
.
S7
S7
2016
E-Book
,
1387. Statistical language and speech processing :
پدیدآورنده: Laurent Besacier, Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Computational linguistics, Congresses,Mathematical linguistics, Congresses,Speech processing systems, Congresses,Artificial Intelligence (incl. Robotics),Computer Science,Data Mining and Knowledge Discovery
رده :
P98
1388. Stepwise refinement of distributed systems :
پدیدآورنده: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
D5
S75
1990
1389. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
پدیدآورنده: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
430
1390. Structural Information and Communication Complexity
پدیدآورنده: \ Christian Scheideler (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a04,a05,a04,a05,Electronic data processing -- Distributed processing -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
9
.
S7
2015
E-Book
,
1391. Structural Information and Communication Complexity :
پدیدآورنده: Keren Censor-Hillel, Michele Flammini (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Computer networks.,Digital communications.,Electronic data processing-- Distributed processing.
رده :
QA76
.
9
.
A43
1392. Structural Information and Communication Complexity :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing ; Congresses. ;
1393. Structural information and communication complexity :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing ; Congresses. ;
1394. Structural information and communication complexity :
پدیدآورنده: Zvi Lotker, Boaz Patt-Shamir (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
1395. Structural information and communication complexity :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing ; Congresses. ;
1396. Structural information and communication complexity: <16th international colloquium, Sirocco 2009, Piran, Slovenia, May 25-27, 2009>
پدیدآورنده: / Shay Kutten, Janez Zerovnik (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic data processing,Computer networks,Structural information,Communication complexity,SIROCCO,-- Distributed processing -- Congresses,-- Congresses
رده :
004
.
6
I61S
2010
1397. Structural information and communication complexity : 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005 : proceedings
پدیدآورنده: Andrzej Pelc, Michel Raynal )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer networks
رده :
QA
76
.
L28
Vol
.
3499
1398. Structural information and communication complexity : 11th International Colloquium, SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004 : proceedings
پدیدآورنده: Ratislav Kralovic, Ondrej Sykora )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer networks,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
3104
1399. Summary of a Workshop on Information Technology Research for Federal Statistic
پدیدآورنده: / Committee on Computing and Communications Research to Enable Better Use of Information Technology in Government, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, Committee on National Statistics, Commission on Behavioral and Social Sciences and Education, National Research Council
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Public administration--Data processing--Research--United States--Congresses,Information technology--Research--United States--Congresses,United States--Statistical services--Data processing--Congresses,United States--Statistics--Databases--Research--Congresses
رده :
HA
,
37
,.
U55
,
W67
,
1999
1400. Summary of a Workshop on Information Technology Research for Federal Statistics
پدیدآورنده: \ Committee on Computing and Communications Research to Enable Better Use of Information Technology in Government, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, Committee on National Statistics, Commission on Behavioral and Social Sciences and Education, National Research Council
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Public administration-- Data processing-- Research-- United States, Congresses.,Information technology-- Research-- United States, Congresses.,United States, Statistical services, Data processing, Congresses.,United States, Statistics, Databases, Research, Congresses.
رده :
HA37
.
U55
W67
1999
E-book
,
